Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

Source URL: clip.dia.fi.upm.es

A Study on the Distributed k-Mutual Exclusion Problem by Hirotsugu Kakugawa February 25, 1992

Source URL: www-masu.ist.osaka-u.ac.jp

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 5 7 Concurrent and Distributed Systems (SMH) (a) What is the relationship between critical sections and mutual exclusion? [2 marks]

Source URL: www.cl.cam.ac.uk

A Token-Based Distributed Group Mutual Exclusion Algorithm with Quorums Hirotsugu Kakugawa, Member, IEEE, and Sayaka Kamei, Member, IEEE, and Toshimitsu Masuzawa, Member, IEEE Abstract— The group mutual exclusion prob

Source URL: www-masu.ist.osaka-u.ac.jp

Experience with Processes and Monitors in Mesa1 Butler W. Lampson Xerox Palo Alto Research Center David D. Redell Xerox Business Systems

Source URL: www.scs.stanford.edu

• Computer programming
• Monitor
• Concurrent Pascal
• Lock
• Deadlock
• Mutual exclusion
• Mesa
• Semaphore
• Parallel computing
• Concurrency control
• Computing
• Software engineering

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 8 Concurrent and Distributed Systems (RNW) (a) Monitors are a programming primitive linking data with two synchronization types: mutual exclusion and condition synchro

Source URL: www.cl.cam.ac.uk

• Lock
• Mutual exclusion
• Parallel computing
• Computer monitor
• Electronics
• Concurrency control
• Monitor
• Computing

Name: Final Exam CS402 14 May 2013 You have 2 hrs. for this exam. The exam has 8 pages. There are 100 possible points. (Note that question 10 is worth 10 points.) Show all your work for partial credit. Definitions

Source URL: www.isi.edu

• Process
• Concurrent computing
• Concurrency
• Memory management
• Paging
• Mutual exclusion
• Thread
• Lock
• File system
• Computing
• Virtual memory
• Concurrency control

,ch05.7955 Page 106 Friday, January 21, :41 AM CHAPTER 5 Chapter 5

Source URL: lwn.net

• Semaphore
• Critical section
• Thread
• Mutual exclusion
• Lock
• Struct
• Synchronization
• Circular buffer
• Multiprocessing
• Concurrency control
• Computing
• Computer programming

A Study on Distributed k-Mutual Exclusion Algorithms Hirotsugu Kakugawa February 1995

Source URL: www-masu.ist.osaka-u.ac.jp

• Mutual exclusion
• Self-stabilization
• Distributed algorithm
• Distributed computing
• Algorithm
• Parallel computing
• Mathematics
• Applied mathematics
• Fault-tolerant computer systems
• Concurrency control
• Computing

AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang1 Yongwei Wu1 Shan Lu2,∗ Shanxiang Qi3,† Jinglei Ren1 Weimin Zheng1 1 Tsinghua National Laboratory for Information Science and Technology, Tsing

Source URL: people.cs.uchicago.edu

• Data management
• Software bug
• Lock
• Linearizability
• Parallel computing
• Thread
• Serializability
• Mutual exclusion
• Kernel
• Concurrency control
• Computing
• Transaction processing